e968bdf6246d8129f1295645f3744f2851cbcbf3,enterprise/core-edge/src/test/java/org/neo4j/coreedge/discovery/Cluster.java,Cluster,removeEdgeServerWithServerId,#number#,395

Before Change


        EdgeGraphDatabase serverToRemove = null;
        for ( EdgeGraphDatabase edgeServer : edgeServers )
        {
            if ( serverIdFor( edgeServer ).toIntegerIndex() == serverId )
            {
                edgeServer.shutdown();
                serverToRemove = edgeServer;

After Change


        EdgeGraphDatabase serverToRemove = null;
        for ( EdgeGraphDatabase edgeServer : edgeServers )
        {
            if ( serverIdFor( edgeServer ) == serverId )
            {
                edgeServer.shutdown();
                serverToRemove = edgeServer;